141. Principles and practice of constraint programming--CP'97 :
پدیدآورنده : Gert Smolka (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science),Constraint programming (Computer science) -- Congresses.,Programmatuurtechniek.
142. Pro TBB :
پدیدآورنده : Michael Voss, Rafael Asenjo, James Reinders.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Data structures (Computer science),Algorithm Analysis and Problem Complexity.,Data Structures.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Computer science.,Computer software.,Data structures (Computer science)
رده :
QA76
.
V67
2019
143. Proceedings / Parcella 1988 :
پدیدآورنده : by Gottfried Wolf, Tamas Legendi, Udo Schendel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
144. Programming in Modula-3 :
پدیدآورنده : László Böszörményi, Carsten Weich ; foreword by Joseph Weizenbaum.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Informatik,MODULA.,Modula-3 (Computer program language)
رده :
QA76
.
73
.
M64
L379
1996
145. Programming massively parallel processors :
پدیدآورنده : David B. Kirk and Wen-mei W. Hwu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Multiprocessors.,Parallel processing (Electronic computers),Parallel programming (Computer science),Mehrprozessorsystem,Multiprocessors.,Parallel processing (Electronic computers),Parallel programming (Computer science),Parallelverarbeitung,Programmierung
رده :
QA76
.
642
146. Progress in Artificial Intelligence :
پدیدآورنده : edited by Miguel Filgueiras, Luís Damas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
147. Pyramidal Systems for Computer Vision
پدیدآورنده : edited by Virginio Cantoni, Stefano Levialdi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware.,Computer science.,Computer vision.
رده :
TA1632
.
E358
1986
148. Python for Probability, Statistics, and Machine Learning /
پدیدآورنده : by José Unpingco.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Data mining.,Engineering mathematics.,Statistics.,Telecommunication.,Probabilities-- Data processing.,Python (Computer program language),Statistics-- Data processing.
رده :
QA76
.
73
.
P98
U57
2019
149. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده : edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986
150. Rational Drug Design
پدیدآورنده : edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.,Numerical analysis.
151. Revisiting Sparse Dynamic Programming for the 0/1 Knapsack Problem
پدیدآورنده : Sifat, Tarequl Islam
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science
152. Revisiting Sparse Dynamic Programming for the 0/1 Knapsack Problem
پدیدآورنده : Sifat, Tarequl Islam
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science
153. Rewriting techniques and applications :
پدیدآورنده : N. Dershowitz, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
154. Rewriting techniques and applications :
پدیدآورنده : Harald Ganzinger (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
رده :
QA267
.
R48
1996
155. SOFSEM '95:
پدیدآورنده : edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Software engineering.
156. STACS 92 :
پدیدآورنده : A[lain] Finkel, M[atthias] Jantzen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
157. Semantics for concurrency :
پدیدآورنده : [edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems -- Parallel programming,Parallel programming (Computer science)
رده :
QA76
.
6
E358
1990
158. Sequential and parallel algorithms and data structures :
پدیدآورنده : Peter Sanders, Kurt Mehlhorn, Martin Dietzfelbinger, Roman Dementiev.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computer network architectures.,Data structures (Computer science),Algorithms.,Computer network architectures.,Data structures (Computer science)
رده :
QA76
.
6
159. Shared-memory parallelism can be simple, fast, and scalable /
پدیدآورنده : Julian Shun.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel computers-- Programming.,Parallel programming (Computer science),Parallel computers-- Programming.,Parallel programming (Computer science)
رده :
QA76
.
642
.
S587
2017
160. Simulated Evolution and Learning.
پدیدآورنده : Bob McKay
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
